characteristic predicate

characteristic predicate
характеристический предикат
условие, выраженное в форме логического утверждения или процедуры, возвращающее логическое значение. Применяется, например, для определения принадлежности элемента к множеству
см. тж. predicate

Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "characteristic predicate" в других словарях:

  • Predicate — or predication may refer to:*Predicate (mathematics), a relation, or the boolean valued characteristic function or indicator function of a relation *Predicate (logic), a fundamental concept in first order logic **in Bertrand Russell s theory of… …   Wikipedia

  • Predicate (mathematics) — In mathematics, a predicate is either a relation or the boolean valued function that amounts to the characteristic function or the indicator function of such a relation.A function P: X→ {true, false} is called a predicate on X.When P is a… …   Wikipedia

  • Extension (predicate logic) — The extension of a predicatendasha truth valued functionndashis the set of tuples of values that, used as arguments, satisfy the predicate. Such a set of tuples is a relation.For example the statement d2 is the weekday following d1 can be seen as …   Wikipedia

  • Schema (Kant) — In Kantian philosophy, a schema (plural: schemata ) is the procedural rule by which a category or pure, non empirical concept is associated with a mental image of an object. It is supposedly produced by the imagination through the pure form of… …   Wikipedia

  • HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… …   Encyclopedia of Judaism

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • Critique of Pure Reason — Part of a series on Immanuel …   Wikipedia

  • Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… …   Wikipedia

  • Indicator function — The graph of the indicator function of a two dimensional subset of a square. In mathematics, an indicator function or a characteristic function is a function defined on a set X that indicates membership of an element in a subset A of …   Wikipedia

  • HEBREW LANGUAGE — This entry is arranged according to the following scheme: pre biblical biblical the dead sea scrolls mishnaic medieval modern period A detailed table of contents precedes each section. PRE BIBLICAL nature of the evidence the sources phonology… …   Encyclopedia of Judaism


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»